#include <stdio.h>
#include <math.h>
void main(){
    int a=-1;
    printf("abs(a)=%d\n",abs(a));
}